Nuprl Definition : es-causle
0,22
postcript
pdf
e
c
e'
== (
e
<
e'
)
e
=
e'
latex
clarification:
es-causle(
es
;
e
;
e'
) == es-causl(
es
;
e
;
e'
)
e
=
e'
es-E(
es
)
latex
Definitions
P
Q
,
(
e
<
e'
)
,
s
=
t
,
E
FDL editor aliases
es-causle
origin
e' == (e < e') 
e = e'
e = e' 
es-E(es) e' == (e < e') e = e'
e = e' es-E(es) Q